Correctness of Parallel Executions in Multidatabase Systems Ruled by Strict 2 Phase Locking

نویسندگان

  • Jérôme Besancenot
  • Michèle Cart
  • Jean Ferrié
  • Claire Morpain
  • Jean-François Pons
  • Philippe Pucheral
چکیده

This paper addresses the problem of transaction management in multidatabase systems where the participating local DBMSs serialize transactions by 2 Phase-Locking (2PL) and synchronize their commit actions through a 2 Phase-Commit protocol (2PC). These DBMSs represent the majority of commercial relational and objectoriented DBMSs. We demonstrate that if local DBMSs support strict 2PL optimization (i.e., relax the read locks during the prepare phase of the 2PC protocol), then schedules of parallel global transactions may become nonglobally serializable. X/Open DTP protocol avoids the problem by adding a blocking synchronization phase at transaction end, thereby loosing the whole benefit of strict 2PL. This paper proposes two strategies to preserve the benefit of strict 2PL while ensuring correct executions.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Bounded Inconsistency for Type - Speci c Concurrency

The traditional correctness criterion of serializability in databases is considered too restrictive especially when databases are used to model advanced applications. In general, two approaches are adopted to address this problem. The rst approach considers placing more structure on data objects to exploit type speciic properties while keeping serializability as the correctness criterion. The o...

متن کامل

A Formal Speci cation of the ConcurrencyControl in Real - Time Databases ( Stream : Foundations and Methodology ) ( Mini { track : Foundations of System Speci cation )

In the paper we present a formal model of real-time database (RTDB) systems using Duration Calculus (DC). First, we give a formal speciication of the correctness criterion for the executions of transaction systems and of the Two Phase Locking Concurrency Control Protocol (2PL-CCP). We also give a formal proof for the correctness of the 2PL-CCP using the DC proof system. Then, we present a forma...

متن کامل

A Formal Specification of the Concurrency Control in Real-Time Databases

In the paper we present a formal model of real-time database (RTDB) systems using Duration Calculus (DC). First, we give a formal specification of the correctness for the executions of transaction systems and the Two Phase Locking Concurrency Control Protocol (2PL-CCP). We also give a formal proof for the correctness of the 2PL-CCP using the DC proof system. Then, we present a formal descriptio...

متن کامل

2PC Agent Method: Achieving Serializability in Presence of Failures in a Heterogeneous Multidatabase

A method for integrated concurrency control and recovery, applicable to heterogeneous multidatabase systems is proposed1. The role of the participant in the two-phase commit protocol is laid on an entity called 2PC Agent associated with the local database system. The main importance of the method is in preserving global serializability in the presence of unilateral aborts and site failures. The...

متن کامل

Serializability in Multidatabases

Transaction management in a multidatabase environment is extremely costly due to network transmission costs and the handling of replicas. Conventional databases enforce consistency by strict locking and commit protocols which guarantee that the data is always consistent and trustworthy. Implementation of these protocols in a distributed environment using global locking and two-phase commit, pro...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002